$p$ $\vee_{b}$$q$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if $p$ then tt else $q$ fi